<html>
<head><meta charset="utf-8"><title>arena-all-the-things · t-compiler · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/index.html">t-compiler</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/arena-all-the-things.html">arena-all-the-things</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="148885581"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/arena-all-the-things/near/148885581" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Zoxc <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/arena-all-the-things.html#148885581">(Nov 30 2018 at 20:07)</a>:</h4>
<p>Anything have some opinions on this? <a href="https://github.com/rust-lang/rust/pull/56382" target="_blank" title="https://github.com/rust-lang/rust/pull/56382">https://github.com/rust-lang/rust/pull/56382</a></p>



<a name="148885664"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/arena-all-the-things/near/148885664" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Zoxc <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/arena-all-the-things.html#148885664">(Nov 30 2018 at 20:08)</a>:</h4>
<p>I'm making a new "box" type <code>Bx&lt;'tcx, T&gt;</code> and replacing instances of <code>Lrc</code> with it. It allocates on an arena and supports deserialization</p>



<a name="148886233"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/arena-all-the-things/near/148886233" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/arena-all-the-things.html#148886233">(Nov 30 2018 at 20:17)</a>:</h4>
<p>why a box type?</p>



<a name="148886250"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/arena-all-the-things/near/148886250" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/arena-all-the-things.html#148886250">(Nov 30 2018 at 20:17)</a>:</h4>
<p>vs allocating directly on the arenas</p>



<a name="148886254"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/arena-all-the-things/near/148886254" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/arena-all-the-things.html#148886254">(Nov 30 2018 at 20:17)</a>:</h4>
<p>I feel like our setup is very baroque</p>



<a name="148886261"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/arena-all-the-things/near/148886261" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/arena-all-the-things.html#148886261">(Nov 30 2018 at 20:17)</a>:</h4>
<p>(unnecssarily so)</p>



<a name="148886264"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/arena-all-the-things/near/148886264" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/arena-all-the-things.html#148886264">(Nov 30 2018 at 20:17)</a>:</h4>
<p>for adding types to arenas</p>



<a name="148886329"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/arena-all-the-things/near/148886329" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/arena-all-the-things.html#148886329">(Nov 30 2018 at 20:18)</a>:</h4>
<p>but maybe it can be improved instead?</p>



<a name="148886331"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/arena-all-the-things/near/148886331" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/arena-all-the-things.html#148886331">(Nov 30 2018 at 20:18)</a>:</h4>
<p>it'd be nice to just use <code>&amp;'tcx ...</code></p>



<a name="148886654"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/arena-all-the-things/near/148886654" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Zoxc <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/arena-all-the-things.html#148886654">(Nov 30 2018 at 20:23)</a>:</h4>
<p>Deserializing <code>&amp;'tcx T</code> is a bit tricky though</p>



<a name="148886825"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/arena-all-the-things/near/148886825" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Zoxc <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/arena-all-the-things.html#148886825">(Nov 30 2018 at 20:26)</a>:</h4>
<p>Commit which adds it: <a href="https://github.com/rust-lang/rust/pull/56382/commits/4e55273bd17e82ba5d0125875fb2f7e6ff933e86" target="_blank" title="https://github.com/rust-lang/rust/pull/56382/commits/4e55273bd17e82ba5d0125875fb2f7e6ff933e86">https://github.com/rust-lang/rust/pull/56382/commits/4e55273bd17e82ba5d0125875fb2f7e6ff933e86</a></p>



<a name="148886901"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/arena-all-the-things/near/148886901" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/arena-all-the-things.html#148886901">(Nov 30 2018 at 20:27)</a>:</h4>
<p>hmm</p>



<a name="148886985"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/arena-all-the-things/near/148886985" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/arena-all-the-things.html#148886985">(Nov 30 2018 at 20:29)</a>:</h4>
<p>deserializing <em>anything</em> with lifetimes is a touch tricky really, right now we're leaning on the spec soundness hole as I recall</p>



<a name="148886997"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/arena-all-the-things/near/148886997" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/arena-all-the-things.html#148886997">(Nov 30 2018 at 20:29)</a>:</h4>
<p>but I guess you mean beyond that...</p>



<a name="148887001"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/arena-all-the-things/near/148887001" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/arena-all-the-things.html#148887001">(Nov 30 2018 at 20:29)</a>:</h4>
<p>presumably because of coherence?</p>



<a name="148887008"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/arena-all-the-things/near/148887008" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Zoxc <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/arena-all-the-things.html#148887008">(Nov 30 2018 at 20:29)</a>:</h4>
<p>Does the old or the new borrowck run first now?</p>



<a name="148887086"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/arena-all-the-things/near/148887086" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/arena-all-the-things.html#148887086">(Nov 30 2018 at 20:30)</a>:</h4>
<p>in compare mode, new (well, sort of, old region inference runs first)</p>



<a name="148887093"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/arena-all-the-things/near/148887093" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Zoxc <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/arena-all-the-things.html#148887093">(Nov 30 2018 at 20:30)</a>:</h4>
<p>I would indeed expect coherence problems</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>